Statistical Model Checking of Human-Robot Interaction Scenarios
نویسندگان
چکیده
منابع مشابه
Structuring Human-Robot-Interaction in Tutoring Scenarios
Contrary to the assumptions underlying many current robot systems, teaching is an interactive process where the tutor needs to be continuously informed about the learner’s internal states of understanding and perception. In an open ended learning situation this interaction can not be pre-modelled as the aspects that need clarification can not be foreseen. However, standard approaches do exactly...
متن کاملChecking & Distributing Statistical Model Checking
In this paper we propose a general framework for distributed statistical model checking of networks of priced timed automata. The first contribution is a new algorithm to distribute sequential hypothesis testing without introducing bias in the results. The second contribution is an implementation of this algorithm in Uppaal. The major contribution is an experimental and analytical evaluation of...
متن کاملGeneric error model of human-robot interaction
Wrong human-robot interactions are at the origin of severe damages. Safety requirements ask the analysis of these interactions. At first, erroneous interactions have to be identified. In this paper, we propose to use UML (Unified Modeling Language) to specify human robot interaction. Then, generic error models, associated with the message feature provided by UML, are presented. These error mode...
متن کاملStatistical Model Checking in
Statistical model-checking is a recent technique used for both verification and performance analysis of hybrid systems. It does not suffer from decidability issues or state-space explosion compared to traditional model-checking. Furthermore, it is applicable to more powerful formalisms such as stochastic hybrid automata. Its principle is simple so how simple is it really to make it work in prac...
متن کاملProbabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction
This paper proposes to use probabilistic model checking to synthesize optimal robot policies in multi-tasking autonomous systems that are subject to human-robot interaction. Given the convincing empirical evidence that human behavior can be related to reinforcement models, we take as input a well-studied Q-table model of the human behavior for flexible scenarios. We first describe an automated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.319.2